An alternative disjunctive optimization model for heat integration with variable temperatures

An alternative disjunctive optimization model for heat integration with variable temperatures

This paper presents an alternative model to deal with the problem of optimal energy consumption minimization of non-isothermal systems with variable inlet and outlet temperatures. The model is based on an implicit temperature ordering and the "transshipment model" proposed by Papoulias & Grossmann (1983). It is supplemented with a set of logical relationships related to the relative position of...

Disjunctive model for the simultaneous optimization and heat integration with unclassified streams and area estimation

A novel disjunctive model for the simultaneous optimization and heat integration

10 This paper introduces a new disjunctive formulation for the simultaneous optimization and heat integration of 11 systems with variable inlet and outlet temperatures in process streams as well as the possibility of selecting and 12 using different utilities. The starting point is the original compact formulation of the Pinch Location Method, 13 however, instead of approximating the “maximum” ...

An Alternative Characterization of Disjunctive Logic Programs an Alternative Characterization of Disjunctive Logic Programs

We present an alternative characterization of disjunctive logic programs. We rst review Inheritance near-Horn Prolog (InH-Prolog), an intuitive and computationally eeective procedure that extends Prolog using case-analysis. We then describe a xpoint characterization of disjunctive logic programs that is similarly based on case-analysis. This xpoint characterization closely corresponds to the In...

An Extended Generalized Disjunctive Paraconsistent Data Model for Disjunctive Information

This paper presents an extension of generalized disjunctive paraconsistent relational data model in which pure disjunctive positive and negative information as well as mixed disjunctive positive and negative information can be represented explicitly and manipulated. We consider explicit mixed disjunctive information in the context of disjunctive databases as there is an interesting interplay be...